#ifndef __MADA_H__
#define __MADA_H__

#include "stm32mp1xx_gpio.h"
#include "stm32mp1xx_rcc.h"
#include "stm32mp1xx_tim.h"

void hal_mada_tim16_init(void);

#endif 